Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
791	Model 100 v5.2.0 Pre-Election Day Checklist Checking Supplies and the Equipment 1. 1 paper spool per scanner per election Add to Reading List Source URL: in.gov Language: English - Date: 2014-09-19 14:59:22 Image scanner Ballot Election Systems & Software Technology Accountability Electronic voting Politics Information society
792	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-10-14 09:11:44 Control theory Hybrid system Systems theory Algorithm Model checking Actor model APL Modal logic Computing Logic Mathematics
793	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
794	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-10-14 09:11:44 Control theory Hybrid system Systems theory Algorithm Model checking Actor model APL Modal logic Computing Logic Mathematics
795	Pseudo-Exhaustive Testing for Software D. Richard Kuhn and Vadim Okun National Institute of Standards and Technology Gaithersburg, MD[removed]removed] Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-09 01:00:00 Software development Model-based testing Orthogonal array testing Model checking Mutation testing Reliability engineering Test automation Unit testing Code coverage Software testing Statistics Software quality
796	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages
797	Microsoft Word - PENDERGRASS.LEE.FINAL[removed]SARALAB-V4[removed]docx Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:35:46 Program analysis APL IBM software Static program analysis Coverity Klocwork Model checking Parasoft Cppcheck Software Computing APL programming language family
798	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2012-03-13 12:40:54 Applied mathematics Science Quality Systems engineering Automata theory Runtime verification Assertion Specification Model checking Formal methods Theoretical computer science Logic in computer science
799	Engineering High Confidence Medical Device Software Arnab Ray Fraunhofer Center for Experimental Software Engineering [removed] Add to Reading List Source URL: sigbed.seas.upenn.edu Language: English - Date: 2009-08-13 22:42:24 Software development Software engineering Logic in computer science Software quality Static program analysis Formal verification Software development process Model checking Verification and validation Formal methods Software testing Theoretical computer science
800	Microsoft Word - NPS-CS[removed]report.doc Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2005-08-15 17:23:39 Space technology Missile defense Systems engineering Logic in computer science Technical communication Missile Defense Agency Software development process Model checking Runtime verification Formal methods Technology Science

UPDATE